Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
A Wide Reduction Trick (2022)
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
PCIE 5.0 x16 to x8x8 bifurcation
c-payne.com·56m·
Discuss: r/homelab
🖥️Terminal Renaissance
A Neural Net For a Graphing Calculator?
hackaday.com·3h
🤖Advanced OCR
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·21h
📡Bluetooth Archaeology
Automation Using TSOP 1738 Sensor And Arduino
hackster.io·2h
🔌Single Board PC
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·1h
💻Local LLMs
AtCoder Finals Problem Statement
atcoder.jp·17h·
Discuss: Hacker News
🇯🇵Japanese Computing
AwesomeAssertions/AwesomeAssertions
github.com·20h
✅Format Verification
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
How to Run an Arduino for Years on a Battery
makecademy.com·4h·
Discuss: Hacker News
🔌Single Board PC
A Poet Completes the Square
denisegaskins.com·22h
⚔️Lean Tactics
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·10h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·3h
🔄Reproducible Builds
Researchers certify genuine quantum behavior in computers with up to 73 qubits
phys.org·2d
⚛️Quantum Circuits
How to reason from first principles
caseyhandmer.wordpress.com·15h·
Discuss: Hacker News
🎯Proof Tactics
The Future of IoT AI in 2025 and Beyond
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Security-Focused Homelab
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars